61. Integrated project support environments
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer software- Development- Congresses,، Electronic data processing- Management- Congresses
62. Integrated project support environments: the aspect project
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Computer software-- Development,Congresses ، Electronic data processing-- Management
رده :
QA
76
.
76
.
D47
.
I553
1991
63. Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation )DFG( : final report
پدیدآورنده : Hartmut Ehrig ... ]et al.[
کتابخانه: (طهران)
موضوع : Development -- Congresses ، Computer software -- Germany,Specifications -- Congresses ، Computer software -- Germany,Congresses ، Production engineering -- Technological inovations -- Germany,Congresses ، Traffic engineering -- Technological innovations -- Germany,Software -- Congresses ، Engineering -- Germany
رده :
QA
76
.
L28
Vol
.
3147
64. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : \ [edited by] Hamido Fujita, Ali Selamat.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,Artificial intelligence -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها ,هوش مصنوعی-- کنگره‌ها
رده :
QA
76
.
758
.
I5
2015
E-Book
,
65. Intelligent Software Methodologies, Tools and Techniques
پدیدآورنده : [Edited by] Hamido Fujita, Guido Guizzi
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
TK
5105
.
5
.
I5
2015
E-Book
,
66. Knowledge-based software engineering
پدیدآورنده : edited by Tomسaes Hrueska and Masa-aki Hashimoto,Title
کتابخانه: (مازندران)
موضوع : Expert systems )Computer science(, Congresses,Computer software, Development, Congresses
رده :
QA
.
E95J65
76
.
76
2000
67. Knowledge-based software engineering : proceedings of the Fourth Joint Conference on Knowledge-Based Software Engineering in Brno, Czech Republic, 2000
پدیدآورنده : edited by Tomas Hruska and Masa-aki Hashimoto
کتابخانه: (طهران)
موضوع : Congresses ، Expert systems )Computer science(,Congresses ، Computer software -- Development
رده :
QA
76
.
76
.
E95J6
2000
68. Knowledge oriented software design : extended papers from the IFIP TC 12 Workshop on Artificial Intelligence from the Information Processing Perspective, AIFIPP '92, Madrid, Spain, 14-15 September, 1992
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- Congresses,، Expert systems )Computer science(-- Congresses
رده :
QA
76
.
76
.
D47
.
I35
1992
69. Languages, methodologies, and development tools for multi-agent systems :
پدیدآورنده : Mehdi Dastani ... [et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
76
.
I58
L33
2009
70. Languages, methodologies, and development tools for multi-agent systems :
پدیدآورنده : Mehdi Dastani ... [et al.] (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Intelligent agents (Computer software), Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
76
.
I58
L33
2009
71. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ Moreno Falaschi (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
63
.
L6
2015
E-Book
,
72. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ [edited by] Maurizio Proietti, Hirohisa Seki.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses.,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
73. Logic-based program synthesis and transformation
پدیدآورنده : Elvira Albert (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Computer software-- Development, Congresses,Logic programming, Congresses
رده :
QA76
.
63
.
L67
2012
74. Logic-based program synthesis and transformation :
پدیدآورنده : Fred Mesnard, Peter J. Stuckey (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses.,Computer software-- Development, Congresses.,Logic programming, Congresses.,Computer logic.,Computer software-- Development.,Logic programming.
رده :
QA76
.
63
75. Managing complexity in software engineering /
پدیدآورنده : edited by R.J. Mitchell
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming-- Management-- Congresses,Computer software-- Development-- Congresses
رده :
QA76
.
76
.
D47
76. Mathematical Foundations of Software Development TAPSOFT : Proceedings of the International Joint Conference on Theory and Practice of Software Development )TAPSOFT(, Berlin, March 25-29, 1985
پدیدآورنده : Edited by Harmut Ehrig...]et al.[
کتابخانه: (طهران)
موضوع : Mathematics -- Congresses ، Computer software -- Development,Congresses ، Software engineering,Data proceesing -- Congresses ، Trees )Graph theory(,Congresses ، Algebra,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
185-186
77. Mathematical foundations of software development
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
78. Mathematical methods of specification and synthesis of software systems '85 : Proceedings
پدیدآورنده : edited by W. Bibel and K.P. Jantke
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
215
79. Mathematical methods of specification and synthesis of software systems '85 : proceedings of the international spring school, Wendisch-Rietz, GDR, April 22-26, 1985
پدیدآورنده : edited by W. Bibel and K.P. Jantke
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software - Development
رده :
QA
76
.
L4
v
.
215
80. Model driven architecture : foundations and applications : first European conference, ECMDA-FA 2005, Nuremberg, Germany, November 2005 : proceedings
پدیدآورنده : Alan Hartman, David Kreische )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer architecture,Congresses ، Computer software -- Development,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3748
